Listing 1 - 4 of 4 |
Sort by
|
Choose an application
Choose an application
Category theory. Homological algebra --- 51 --- Mathematics --- 51 Mathematics
Choose an application
Model theory --- Modules (Algebra) --- Ordered algebraic structures --- Category theory. Homological algebra --- 512.55 --- Finite number systems --- Modular systems (Algebra) --- Algebra --- Finite groups --- Rings (Algebra) --- Logic, Symbolic and mathematical --- 512.55 Rings and modules --- Rings and modules
Choose an application
The author introduces Lawvere and Tierney's concept of topos theory, a striking development in category theory that unites a number of important but seemingly diverse notions from algebraic geometry, set theory, and intuitionistic logic. Topos theory has led to the forging of surprising new links between classical and constructive mathematics. Bell presents toposes as the models of theories--the so-called local set theories--formulated within a typed intuitionistic logic.
Category theory. Homological algebra --- Toposes --- Set theory --- Logic, symbolic and mathematical --- Logic, Symbolic and mathematical --- Topoi (Mathematics) --- Categories (Mathematics) --- Aggregates --- Classes (Mathematics) --- Ensembles (Mathematics) --- Mathematical sets --- Sets (Mathematics) --- Theory of sets --- Mathematics --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Syllogism --- Logic, Symbolic and mathematical. --- Set theory. --- Toposes. --- Topos (mathématiques) --- Logique mathématique --- Théorie des ensembles --- Logique mathématique --- Théorie des ensembles --- Topos (mathématiques) --- Catégories (mathématiques)
Listing 1 - 4 of 4 |
Sort by
|